A modular hierarchy of logical frameworks
نویسنده
چکیده
We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several much weaker frameworks defined in this manner are adequate for expressing a wide variety of object logics.
منابع مشابه
Logical frameworks for specifying and reasoning about stateful and concurrent languages∗
Substructural logics, such as linear logic and ordered logic, have an inherent notion of state and state change. This makes them a natural choice for developing logical frameworks that specify evolving stateful systems. Our previous work has shown that the so-called forward reasoning fragment of ordered linear logic can be used to give clear, concise, and modular specifications of stateful and ...
متن کاملGeneralized Quantifiers in Logic Programs
Generalized quantiiers are an important concept in model-theoretic logic which has applications in diierent elds such as linguistics , philosophical logic and computer science. In this paper, we consider a novel application in the eld of logic programming, which has been presented recently. The enhancement of logic programs by generalized quantiiers is a convenient tool for interfacing extra-lo...
متن کاملReasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas1
Abstract dialectical frameworks (ADFs) constitute a recent and powerful generalization of Dung’s argumentation frameworks (AFs), where the relationship between the arguments is specified via Boolean formulas. Recent results have shown that this enhancement comes with the price of higher complexity compared to AFs. In fact, acceptance problems in the world of ADFs can be hard even for the third ...
متن کاملReasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
dialectical frameworks (ADFs) constitute a recent and powerful generalisation of Dung’s argumentation frameworks (AFs), where the relationship between the arguments can be specified via Boolean formulas. Recent results have shown that this enhancement comes with the price of higher complexity compared to AFs. In fact, acceptance problems in the world of ADFs can be hard even for the third level...
متن کاملIntuitive and logical way of thinking in the education of architectural design courses
Different approaches and methods are used in the architecture design process that logical and intuitional methods are the most common ones. The role of knowledge in each method is different. Investigating aspects of knowledge demonstrated the hierarchy from data to wisdom and the interaction of explicit and tacit types, subjective and objective sources, and analytical and exploratory ways of p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003